Section: Research Program

Advanced Introductions to Abstract Interpretation

A short, informal, and intuitive introduction to the theory of abstract interpretation can be found in [36] , see also “Abstract Interpretation in a Nutshell ”  (http://www.di.ens.fr/~cousot/AI/IntroAbsInt.html ) on the web. A more comprehensive introduction is available online  (http://www.di.ens.fr/~cousot/AI/ ). The paper entitled “Basic concepts of abstract interpretation ” [37] and an elementary “course on abstract interpretation ”  (http://web.mit.edu/afs/athena.mit.edu/course/16/16.399/www/ ) can also be found on the web.